workspace-thumbnails: Update style

For consistency, adjust background and border colors to match the
ones used by the dash.

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 518e043521999dbdbe6769bab6c36e729b712994..2da9cc2f820a6587f9b4cae52f6d1875702a3d75 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -265,10 +265,10 @@ StTooltip StLabel {
 }
 
 .workspace-thumbnails-background {
-    border: 1px solid #424242;
+    border: 1px solid rgba(128, 128, 128, 0.4);
     border-right: 0px;
     border-radius: 9px 0px 0px 9px;
-    background: #071524;
+    background-color: rgba(0, 0, 0, 0.5);
     padding: 8px;
 }